Nuprl Definition : ma-interface-compose
11,40
postcript
pdf
ma-interface-compose(
g
;
X
)
==
p
.let
ds
,
F
=
p
in <
ds
,
p
.let
V
,
f
=
p
in <
V
,
s
.
g
o
f
(
s
) > o
F
> o
X
latex
Definitions
g
o
f
,
let
x
,
y
=
A
in
B
(
x
;
y
)
,
<
a
,
b
>
,
x
.
A
(
x
)
,
f
o
g
,
f
(
a
)
FDL editor aliases
ma-interface-compose
origin
p.let ds,F = p in <ds, p.let V,f = p in <V, s.g o f(s) > o F> o X p.let ds,F = p in <ds, p.let V,f = p in <V, s.g o f(s) > o F> o X x.A(x)